-
1 Task State Segment
Универсальный русско-английский словарь > Task State Segment
-
2 Task State Segment Descriptor Cache
Универсальный русско-английский словарь > Task State Segment Descriptor Cache
-
3 состояние задачи
Русско-английский словарь по информационным технологиям > состояние задачи
-
4 сегмент состояния задачи
Русско-английский словарь по электронике > сегмент состояния задачи
-
5 сегмент состояния задачи
Русско-английский словарь по радиоэлектронике > сегмент состояния задачи
-
6 сегмент состояния задачи
Русско-английский словарь по вычислительной технике и программированию > сегмент состояния задачи
-
7 состояние задачи
task state вчт.Русско-английский политехнический словарь > состояние задачи
-
8 сегмент состояния задачи
1) Engineering: task state segment2) Information technology: task segment state, task stack segmentУниверсальный русско-английский словарь > сегмент состояния задачи
-
9 высокоимпедансное состояние
1. Z-state2. floating state3. high-impedance stateРусско-английский большой базовый словарь > высокоимпедансное состояние
-
10 статическое состояние
1. direct-current state2. quiescent stateРусско-английский большой базовый словарь > статическое состояние
-
11 модель задач/состояний
Programming: task/state model (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World)Универсальный русско-английский словарь > модель задач/состояний
-
12 состояние задачи
Information technology: task state -
13 структура задач/состояний
Programming: task/state structureУниверсальный русско-английский словарь > структура задач/состояний
-
14 в холоднотянутом состоянии
Русско-английский новый политехнический словарь > в холоднотянутом состоянии
-
15 государственно-монополистическая группировка
Русско-английский военно-политический словарь > государственно-монополистическая группировка
-
16 задание задани·е
1) assignment, task, objective; (плановое) targetвыполнить задание — to do / to fulfil one's task
дать задание — to set a task; to assign / to entrust a task (to)
определить конкретные задания — to determine / to define concrete targets (for)
задание по добыче / производству — production objective / target
2) воен. mission -
17 ставить задачу
1) General subject: allot a task, set a mission2) Military: assign a mission, assign a task, assign the objective, charge with a task, generate a mission, initiate a mission, place a responsibility, retask, (частная) task3) Engineering: set a problem, task4) Mathematics: formulate the problem, pose the problem, put the problem, set problem, set up a problem5) Economy: issue the challenge6) Diplomatic term: issue a challenge7) Information technology: offer the challenge, set the problem8) Mass media: set objective9) Business: challenge10) Quality control: issue challenge, offer challenge11) Makarov: formulate problem, put problem, raise problem, specify problem, state problem -
18 задача
mission, objective, problem, proposition, task* * *зада́ча ж.
problem, task, jobвводи́ть зада́чу в вычисли́тельную маши́ну — load a computerзада́ча на … — a problem on [in] …постано́вка зада́чи — statement of a problemпо усло́виям зада́чи — under the conditions [statement] of the problemреша́ть зада́чу на вычисли́тельной маши́не — solve [run] a problem on a computerста́вить зада́чу — state a problemста́вить зада́чу найти́ х — seek to find xуточня́ть зада́чу — refine the (formulation of a) problemформули́ровать зада́чу — formulate a problemбухга́лтерская зада́ча — accounting problemвариацио́нная зада́ча — variational problemвычисли́тельная зада́ча — computational, problemграни́чная зада́ча — boundary(-value) problemзада́ча двух тел астр. — two-body problemзада́ча Дирихле́ мат. — Dirichlet's problemконтро́льная зада́ча — check [test] problemзада́ча Коши́ мат. — Cauchy problemкраева́я зада́ча — boundary(-value) problemлоги́ческая зада́ча — logic problemзада́ча на нахожде́ние со́бственных значе́ний — eigenvalue problemнестациона́рная зада́ча — non-stationary problemобра́тная зада́ча — inverse problemзада́ча о четвё́ртой то́чке геод. — three-point problem, three-point intersection, trilinear surveyingпло́ская зада́ча — plane problemпоста́вленная зада́ча — a problem put by …прикладна́я зада́ча — applied problemзада́ча прогнози́рования — prediction problemпряма́я зада́ча — primal problemразреши́мая зада́ча — solvable problemзада́ча регули́рования — control problemзада́ча с нача́льными усло́виями — initial-value problemзада́ча с подвижно́й грани́цей — moving-boundary problemзада́ча с разделя́ющимися переме́нными — a problem with variables separableзада́ча с реше́нием, уче́бная — worked example, worked problemтеку́щая зада́ча — current taskтра́нспортная зада́ча — traffic [transportation] problemтра́нспортная зада́ча с крите́рием вре́мени — time traffic [transportation] problem* * * -
19 задача
-
20 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4.
- 1
- 2
См. также в других словарях:
Task State Segment — The Task State Segment is a special x86 structure which holds information about a task. It is used by the operating system kernel for task management. Specifically, the following information is stored in the TSS:* Processor register state * I/O… … Wikipedia
Task allocation and partitioning of social insects — Task allocation and partitioning refers to the way that tasks are chosen, assigned, subdivided, and coordinated (here, within a single colony of social insects). Closely associated are issues of communication that enable these actions to… … Wikipedia
State Defense Guard (Czechoslovakia) — State Defense Guard (in Czech Stráž obrany státu, SOS) was a military service established in 1936 to protect borders of Czechoslovakia.From 1918 to 1936 border of Czechoslovakia was protected by finance guard ( finanční stráž ), an armed branch… … Wikipedia
State police — are a type of sub national territorial police force, particularly in Australia and the United States. Some other countries have analogous police forces, such as the provincial police in some Canadian provinces, while in other places, the same… … Wikipedia
State of Washington — State of Washington † Catholic Encyclopedia ► State of Washington One of the Pacific cost states, popularly known as the Evergreen State , the sixteenth in size among the state of the Union and the twenty ninth in the order of… … Catholic encyclopedia
State-building — is a term used in state theory. It describes the construction of a functioning state. This concept was first used in connection to the creation of states in Western Europe and focused on the power enforcement of state in society (Tilly 1975).… … Wikipedia
Task Force for National Strategy for Information Society Development — is a group of experts gathered for the purpose of creating the National Strategy for Information Society Development for Republic of Macedonia. [ [http://www.kit.gov.mk/WBStorage/Files/Strategy%20and%20Action%20Plan%20ENG.pdf National Strategy… … Wikipedia
State-dependent learning — is an idea of learning and recalling that is based upon the physiological and mental state of the organism.Factors affecting state dependent learning may include: environment, intoxication, emotional state, and sensory modality.For example,… … Wikipedia
State Urban Search and Rescue Alliance — The State Urban Search and Rescue Alliance or SUSAR is a non profit organization designed to promote and support state urban search and rescue teams across the United States. BackgroundSUSAR started informally with discussion between the task… … Wikipedia
Task Force 74 — The US Task Force 74 was a US Navy task force of the 7th fleet that was deployed to the Bay of Bengal by Nixon administration in December 1971, at the height of the 1971 Indo Pak War. Led by the Aircraft Carrier USS Enterprise, the deployment of… … Wikipedia
State Border Guard Service (Lithuania) — The State Border Guard Service of Lithuania is the organisation charged with controlling and maintaining the Lithuanian Border. History of SBGS 1918 1940Following the Declaration of indipendence on February 16,1918 the state had to ensure its… … Wikipedia
